Формальная нотация

Перевод формальная нотация на английский язык

Эта программа использует формальную нотацию.

This program uses formal notation.